募捐 9月15日2024 – 10月1日2024 关于筹款
1
Principles of Model Checking

Principles of Model Checking

Christel Baier, Joost-Pieter Katoen, Kim Guldstrand Larsen
年:
2008
语言:
english
文件:
PDF, 17.08 MB
0 / 5.0
english, 2008
11
The MIT Press Principles of Model Checking

The MIT Press Principles of Model Checking

Christel Baier, Joost-Pieter Katoen, Kim Guldstrand Larsen
年:
2008
语言:
english
文件:
PDF, 17.06 MB
0 / 0
english, 2008
15
Protocol Specification, Testing and Verification XIV

Protocol Specification, Testing and Verification XIV

Klaus Havelund, Kim Guldstrand Larsen (auth.), Son T. Vuong, Samuel T. Chanson (eds.)
年:
1995
语言:
english
文件:
PDF, 11.61 MB
0 / 0
english, 1995